Interpretation philosophy)

Results: 752



#Item
681Epistemology / Modeling and simulation / Philosophy of science / Science / Modal logic / Interpretation / Scientific modelling / Simulation

2011  Eastern  Division  invited  paper  in  the  session:   Author  Meets  Critics:  Eric  Winsberg,  Science  in  the  Age  of  Computer  Simulation    

Add to Reading List

Source URL: ipeschard.free.fr

Language: English - Date: 2012-02-13 23:52:55
682Modal logic / Philosophical logic / Model theory / Non-classical logic / Artificial intelligence / Epistemic modal logic / Probabilistic logic / Common knowledge / Kripke semantics / Logic / Mathematical logic / Philosophy

Semantics, Communication, and Probability Jan van Eijck November 5, 2013 Logic, Linguistics, and Intelligent Interaction In logic the distinctions between language, interpretation and communication are quite clear, in na

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2013-12-17 05:08:11
683Philosophy of mind / Semantics / Logic / Linguistics / Philosophy / Model theory / Interpretation / Philosophy of language

PDL as a Multi-Agent Strategy Logic Jan van Eijck CWI & ILLC, Amsterdam TARK, Chennai, Jan 8, 2013

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2013-12-17 06:41:19
684Philosophy of language / Discourse representation theory / Donkey sentence / Anaphora / Free variables and bound variables / Binding / Antecedent / First-order logic / Interpretation / Linguistics / Semantics / Syntax

Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-11-17 08:04:45
685Model theory / Functions and mappings / Interpretation / Philosophy of language / Philosophy of mind / Semantics / Function / Constructible universe / Golden ratio / Mathematics / Mathematical logic / Logic

Multi-Agent Belief Revision with Linked Plausibilities Jan van Eijck and Floor Sietsma

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-11-17 10:33:46
686Mathematics / Interpretation / Philosophy of language / Philosophy of mind / Semantics / Constructible universe / Golden ratio / Philosophy of mathematics / Linear temporal logic / Model theory / Formal languages / Logic

The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2010-11-17 08:13:00
687Abstraction / Edward N. Zalta / Logicians / Metaphysicians / Alexius Meinong / Abstract object / Edmund Husserl / Object theory / Interpretation / Philosophy / Metaphysics / Ontology

Edward N. Zalta A Common Ground and Some Surprising Connections∗ Edward N. Zalta Center for the Study of Language and Information

Add to Reading List

Source URL: mally.stanford.edu

Language: English - Date: 2013-11-17 15:00:37
688Language interpretation / New Testament / Linguistics / Philosophy of language / Knowledge / Eugene Nida / Communication / Meaning / Translation

(4) Therefore, the determination of "situation" is the crucial step in deciding the extent of applicability of a teaching, com

Add to Reading List

Source URL: www.viceregency.com

Language: English - Date: 2009-04-24 22:00:16
689Temporal logic / Semantics / Ontology / Linear temporal logic / CTL* / Kripke semantics / Abox / Tbox / Interpretation / Logic / Mathematical logic / Philosophy of language

Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
690Grammar / Generative linguistics / Computational linguistics / Predicate / Binding / Lexical functional grammar / Anaphora / Question / Interpretation / Linguistics / Semantics / Philosophy of language

VENSES GetAsk: a System for Hybrid Question Answering And Answer Recovery using Text Entailment Rodolfo Delmonte

Add to Reading List

Source URL: project.cgm.unive.it

Language: English - Date: 2013-10-11 12:44:06
UPDATE